home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / Constraints / Diplome < prev    next >
Text File  |  1994-06-24  |  1KB  |  45 lines
  1. ;module + boulot = diplome
  2. (c)
  3.  
  4. ;;; Variables
  5. (r0 e t r1 m o l r2 u r3 d r4 p b i)
  6.  
  7. ;;; Constraints
  8. ((=? (+ e t) (+ e (* 10 r0)))
  9.  (=? (+ r0 (+ l o)) (+ m (* 10 r1)))
  10.  (=? (+ r1 (+ u l)) (+ o (* 10 r2)))
  11.  (=? (+ r2(+ d u)) (+ l (* 10 r3)))
  12.  (=? (+ r3 (+ o o)) (+ p (* 10 r4)))
  13.  (=? (+ r4(+  m b)) (+ i (* 10 d)))
  14.  (<>? m 0)(<>? b 0)(<>? d 0)
  15.  (<>? m o) (<>? m d) (<>? m u) (<>? m l)
  16.  (<>? m e) (<>? m b) (<>? m t) (<>? m i)
  17.  (<>? m p) (<>? o d) (<>? o u) (<>? o l)
  18.  (<>? o e) (<>? o b) (<>? o t) (<>? o i)
  19.  (<>? o p) (<>? d u) (<>? d l) (<>? d e)
  20.  (<>? d b) (<>? d t) (<>? d i) (<>? d p)
  21.  (<>? u l) (<>? u e) (<>? u b) (<>? u t)
  22.  (<>? u i) (<>? u p) (<>? l e) (<>? l b)
  23.  (<>? l t) (<>? l i) (<>? l p) (<>? e b)
  24.  (<>? e t) (<>? e i) (<>? e p) (<>? b t)
  25.  (<>? b i) (<>? b p) (<>? t i) (<>? t p)
  26.  (<>? i p))  
  27.  
  28. ;;; Domains
  29. ((0 1)
  30.  (0 1 2 3 4 5 6 7 8 9)
  31.  (0 1 2 3 4 5 6 7 8 9)
  32.  (0 1)
  33.  (0 1 2 3 4 5 6 7 8 9)
  34.  (0 1 2 3 4 5 6 7 8 9)
  35.  (0 1 2 3 4 5 6 7 8 9)
  36.  (0 1)
  37.  (0 1 2 3 4 5 6 7 8 9)
  38.  (0 1)
  39.  (0 1)
  40.  (0 1)
  41.  (0 1 2 3 4 5 6 7 8 9)
  42.  (0 1 2 3 4 5 6 7 8 9)
  43.  (0 1 2 3 4 5 6 7 8 9))
  44.  
  45.